1. computer aided verification

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)

موضوع : Computer software-verification,electronic digital computers-evaluation

رده :
QA
76
.
76
.
E93
,
C65
1993